21. Logic and algebra of specification
Author: edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35N37
1991
22. Origins and Foundations of Computing: In Cooperation with Heinz Nixdorf MuseumsForum
Author: Friedrich L. Bauer (auth.)
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: EDUCATIONAL RESEARCH&EDUCATION
23. Origins and foundations of computing
Author: / Friedrich L. Bauer
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer science, History
Classification :
QA76
.
17
.
B37
2010
24. Origins and foundations of computing
Author: / Friedrich L. Bauer
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--History
Classification :
QA
,
76
.
17
,.
B38
,
2010
25. Program Construction :
Author: edited by Friedrich L. Bauer, Manfred Broy, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J.V. Guttag, J.J. Horning, S.S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programmation (Informatique)
Classification :
QA76
.
6
E358
1979
